Ir arriba
Información del artículo en conferencia

Variable ordering heuristics for BDD based on minimal cutsets

C. Ibáñez, A. Rauzy

International Conference on Probabilistic Safety Asessment and Management - PSAM 9, Hong Kong (China). 18-23 mayo 2008


Resumen:

The Binary Decision Diagram technology is a good alternative to the classical minimal cutsets approach to assess Fault Trees and Event Trees issued from Probabilistic Safety Assessment studies of the nuclear industry. A key issue in the efficiency of this technique stands in the choice of a good variable ordering. In this article, we explore a new idea for the design of ordering heuristics: the use of minimal cutsets calculated with a classical algorithm in order to group variables. We propose several ordering heuristics to be applied on a sum-of-products. We discuss whether these heuristics could be extended to general formulae.


Palabras clave: Probabilistic Safety Assessment, Minimal Cutsets, Binary Decision Diagrams, Variable Ordering Heuristics


Publicado en PSAM 2008, ISBN: 978-988-99791-5-7

Fecha de publicación: 2008-05-23.



Cita:
C. Ibáñez, A. Rauzy, Variable ordering heuristics for BDD based on minimal cutsets, International Conference on Probabilistic Safety Asessment and Management - PSAM 9, Hong Kong (China). 18-23 mayo 2008. En: PSAM 2008: 9th International Conference on Probabilistic Safety Assessment and Management 2008, ISBN: 978-988-99791-5-7

pdf Solicitar el artículo completo a los autores